Annotated Bibiliography of Scientific Code Automation
ثبت نشده
چکیده
Analysa [2] combined efficiency and expressiveness by using a functional programming language (AlScheme) as a scripting language which linked with C, C++ and Fortran code for efficiency. The Broadway compiler [18] supports domain-specific compiler optimizations. It provides compiler support for a wide range of domains and in the context of existing programming languages using a technique called ‘library-level optimization’ which recognizes and exploits the domain-specific semantics of software libraries. Ken Kennedy proposed the use of ‘telescoping languages’ [22] in which fully optimized low-level code would be included as high-level operations in an extended language.
منابع مشابه
Using JML-based Code Generation to Enhance Test Automation for VDM Models
The Vienna Development Method (VDM) uses contract-based elements such as invariants to constrain data, and preand post conditions to specify intended behaviour. Data and behaviour can be validated against these contractbased elements using test automation for VDM. This technique uses traces – a kind of pattern – to specify test sets, which can be executed against the VDM model. In this paper we...
متن کاملSynthesizing Procedural Abstractions from Formal Speci cationsBetty
Synthesizing Procedural Abstractions from Formal Speci cations Betty H.C. Cheng Department of Computer Science Michigan State University East Lansing, Michigan 48824 Abstract This paper describes the development of the Seed system, which demonstrates that the building blocks of a large software system can be correctly synthesized from user-supplied formal speci cations using techniques amenable...
متن کاملGenomeRunner: automating genome exploration
MOTIVATION One of the challenges in interpreting high-throughput genomic studies such as a genome-wide associations, microarray or ChIP-seq is their open-ended nature-once a set of experimentally identified regions is identified as statistically significant, at least two questions arise: (i) besides P-value, do any of these significant regions stand out in terms of biological implications? (ii)...
متن کاملDistinguishing the communicative functions of gestures An experiment with annotated gesture data
This paper deals with the results of a machine learning experiment conducted on annotated gesture data from two case studies (Danish and Estonian). The data concern mainly facial displays, that are annotated with attributes relating to shape and dynamics, as well as communicative function. The results of the experiments show that the granularity of the attributes used seems appropriate for the ...
متن کاملOptimised finite difference computation from symbolic equations
Domain-specific high-productivity environments are playing an increasingly important role in scientific computing due to the levels of abstraction and automation they provide. In this paper we introduce Devito, an opensource domain-specific framework for solving partial differential equations from symbolic problem definitions by the finite difference method. We highlight the generation and auto...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007